NoDotInPatSyn.agda:12,1-29
Dot or equality patterns are not allowed in pattern synonyms. Maybe
use '_' instead.
when scope checking the declaration
  pattern one = cons .zero nil
